$\forall$$g$:OMon. ($g$$\downarrow$oset) $\in$ LOSet